Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
301	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
302	MATHEMATICS 152, FALL 2008 THE MATHEMATICS OF SYMMETRY Tips on Proofs and Presentations Last revised: August 11, 2008 In this class you will be asked to present definition, theorems, proofs and examples at the blackboard Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-10-18 16:52:48 Mathematics Logic Abstraction Statements Mathematical proofs Logical consequence Theorem Mathematical logic Model theory Conjecture Real number Sheaf
303	Worksheet on Relations and Equivalence Relations and Classes November 6, 2015 1 Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:56 Mathematics Equivalence relation Equivalence class Binary relation Transitive relation Mathematical logic Integer Cardinality Ternary equivalence relation Apartness relation
304	A Tactic Language for Hiproofs David Aspinall1 , Ewen Denney2 , and Christoph L¨ uth3 1 3 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Mathematical logic Proof theory Mathematics Logic in computer science Deductive reasoning Natural deduction Sequent Denotational semantics Propositional calculus Sheaf
305	CS264: Beyond Worst-Case Analysis Lecture #2: Instance-Optimal Geometric Algorithms∗ Tim Roughgarden† September 24, Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-10-03 12:51:27 Mathematics Applied mathematics Computer science Algorithms Mathematical logic Theoretical computer science Merge sort Combinatorial optimization Asymptotically optimal algorithm Elliptic curve primality
306	Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:03:35 Mathematics Mathematical logic Theoretical computer science Automated theorem proving Boolean algebra Logic programming Resolution True quantified Boolean formula Clause Conflict-Driven Clause Learning DPLL algorithm
307	A Note on the Malleability of the El Gamal Cryptosystem Douglas Wikstr¨om Swedish Institute of Computer Science (SICS) Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:38:02 Mathematical analysis Mathematics Functional analysis IP Distribution Computability theory Linear temporal logic operator
308	Typbasierte Programmtransformation Janis Voigtl¨ander Technische Universit¨ at Dresden 14. Juli 2009 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Data types Ordinal number Wellfoundedness Boolean data type Mathematical logic Computing Mathematics Type theory
309	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
310	Term structure in FG: a modest proposal Evelien Keizer, University of Amsterdam 1. Introduction1 Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2009-12-01 07:07:32 Linguistics Syntax Grammar Logic Philosophy of language Mathematical logic Propositional calculus Semantics Predicate Clause Argument Complement

UPDATE